1. Compositional Verification of Concurrent and Real-Time Systems
Author: by Eric Y. T. Juan, Jeffrey J. P. Tsai.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Mechanical engineering.,Software engineering.
2. Compositional verification of concurrent and real-time systems
Author: / by Eric Y.T. Juan, Jeffrey J.P. Tsai
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Real-time data processing,Computer systems -- Verification
Classification :
QA
76
.
58
.
J83
2002
